#include <asm.h>

ENTRY(invoke_syscall)
  /* TODO: */
ENDPROC(invoke_syscall)
